Top quality type error Messages
نویسنده
چکیده
منابع مشابه
Exception Handling for Error Reporting in Parsing Expression Grammars
Parsing Expression Grammars (PEGs) are a new formalism to describe a top-down parser of a language. However, error handling techniques that are often applied to top-down parsers are not directly applicable to PEGs. This problem is usually solved in PEGs using a heuristic that helps to simulate the error reporting technique from topdown parsers, but the error messages are generic. We propose the...
متن کاملبررسی تاثیر سرویس پیام کوتاه تلفن همراه (SMS) بر خودمراقبتی دیابت
Background: The objective of the current study is to assess the effectiveness of Mobile Short Message Service (SMS) intervention on education of basic self-care skills in patients with type 2 diabetes. Moreover, we aimed to determine whether delivering individually-tailored educational messages can be more effective than general educational messages. Methods: A total of 150 patients with dia...
متن کاملImproving Type Error Messages in OCaml
Cryptic type error messages are a major obstacle to learning OCaml or other ML-based languages. In many cases, error messages cannot be interpreted without a sufficiently-precise model of the type inference algorithm. The problem of improving type error messages in ML has received quite a bit of attention over the past two decades, and many different strategies have been considered. The challen...
متن کاملIntroducing modified TypeScript in an exis ng framework to im - prove error handling
Error messages in compilers is a topic that is often overlooked. The quality of the messages can have a big impact on development time and ease of learning. Another method used to speed up development is to build a domainspecific language (DSL). This thesis migrates an existing framework to use TypeScript in order to speed up development time with compile-time error handling. Alternative method...
متن کاملImproving type-error messages in functional languages
Although type systems do detect type errors in programs, they often produce uninformative error messages, that hardly give information about how to repair a program. One important shortcoming is the inability to highlight the most likely cause for the detected inconsistency. This paper presents a type inferencer with improved error reporting facilities, based on the construction of type constra...
متن کامل